MGI:4353222 Arx<tm1.1Jno> http://identifiers.org/mgd/MGI:4353222 targeted mutation 1.1, Jeffrey L Noebels Arx<(GCG)10+7>